/*******************************************************************************
 * Copyright (c) 2011 Grupo de Sistemas Inteligentes (GSI) - DIT UPM
 *
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *******************************************************************************/
package es.upm.dit.gsi.eclipse.jadex.common.preferences;

/**
 * Constant definitions for plug-in preferences
 */
public class PreferenceConstants {
	/*
	public static final String JADEX_PATH = "jadexPath";
	public static final String JADEX_VERSION = "jadexVersion";
	*/

	// Repository Location Settings
	public static final String REPOSITORY_LOCATION = "http://repository.location";
	public static final String USER = "user";
	public static final String PASSWORD = "password";
	
}
